1. Advances in Computer Systems Architecture (vol. # 3740) :
پدیدآورنده : edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Data transmission systems.
2. Advances in computers.
پدیدآورنده : edited by Marvin V. Zelkowitz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
رده :
QA76
.
A3eb
vol
.
45
3. An Integrated Approach to Software Engineering
پدیدآورنده : by Pankaj Jalote.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Software engineering.
4. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
پدیدآورنده : Mainul Islam
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
5. Compstat :
پدیدآورنده : edited by Konstantin Momirović, Vesna Mildner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical statistics -- Data processing.,Mathematical statistics.,Probabilities -- Data processing.
رده :
QA276
.
4
E358
1990
6. Computer performance engineering :
پدیدآورنده : Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
E94
E64
2013
7. Computer supported education :
پدیدآورنده : Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
رده :
LB1028
.
5
8. Concise guide to software engineering :
پدیدآورنده : Gerard O'Regan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Software engineering.,Software engineering.
رده :
QA76
.
758
.
O66
2017
9. Dependable Computing for Critical Applications 2
پدیدآورنده : edited by John F. Meyer, Richard D. Schlichting.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Software engineering.
رده :
QA76
.
9
.
F38
E358
1992
10. Distributed Systems :
پدیدآورنده : by Albert Fleischmann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
9
.
D5
B935
1994
11. Formal methods for industrial critical systems :
پدیدآورنده : Falk Howar, Jiří Barnat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
12. Migrating to Azure :
پدیدآورنده : Josh Garverick.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software-- Design.,Cloud computing.,Microsoft Azure (Computing platform),Business mathematics & systems.,Cloud computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology: general issues.,Microsoft Azure (Computing platform),Microsoft programming.
رده :
QA76
.
585
13. Network flows :
پدیدآورنده : Ravindra K. Ahuja, Thomas L. Magnanti, James B. Orlin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematical optimization.,Network analysis (Planning),Mathematical optimization.,optimalizálás,számítógépes hálózat,Analyse de réseau (Planification),Optimisation mathématique.,31.80 applications of mathematics.,Mathematical optimization.,Mathematical optimization.,Netwerkplanning.,Network analysis (Planning),Network analysis (Planning)
رده :
T57
.
85
.
A37
1993
14. Networked Digital Technologies :
پدیدآورنده : edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer Communication Networks.,Computer science.,Database management.,Information storage and retrieval systems.,Information systems.,Software engineering.,Artificial Intelligence (incl. Robotics).,Computer Communication Networks.,Computer Science.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Software Engineering.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Computer science.,Database management.,Information storage and retrieval systems.,Software engineering.
رده :
QA76
.
76
.
A65
I58
2010
15. New Trends in Software Methodologies, Tools and Techniques :
پدیدآورنده : edited by Hamido Fujita and Paul Johannesson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Software engineering.
رده :
QA76
.
758
.
L94
2002eb
16. Practical reliability engineering /
پدیدآورنده : Patrick P. O'Connor and Andre Kleyner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Reliability (Engineering)
17. Process Control Systems Principles of Design, Operation and Interfacing.
پدیدآورنده : Jovic, F.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
TS156
.
8
J685
2013
18. Real-time embedded components and systems with Linux and RTOS
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linux
رده :
TK7895
.
E42
S54
2016
19. Reliable software technologies, Ada-Europe '96 :
پدیدآورنده : Alfred Strohmeier, ed.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
رده :
QA76
.
73
.
A16
A447
1996
20. Service-oriented computing :
پدیدآورنده : Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, Hamid Motahari (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software.,Computer networks.,Database management.,Operating systems (Computers),Service-oriented architecture (Computer science), Congresses.,Software engineering.,Application software.,Computer networks.,Database management.,Operating systems (Computers),Software engineering.
رده :
TK5105
.
5828
